Principle of distributivity

The principle of distributivity states that the algebraic distributive law is valid for classical logic, where both logical conjunction and logical disjunction are distributive over each other so that for any propositions A, B and C the equivalences

$A \land (B \lor C) \iff (A \land B) \lor (A \land C)$

and

$A \lor (B \land C) \iff (A \lor B) \land (A \lor C)$

hold.

The principle of distributivity is valid in classical logic, but invalid in quantum logic. The article Is logic empirical? discusses the case that quantum logic is the correct, empirical logic, on the grounds that the principle of distributivity is inconsistent with a reasonable interpretation of quantum phenomena.

‹The stub template below has been proposed for renaming to . See stub types for deletion to help reach a consensus on what to do.
Feel free to edit the template, but the template must not be blanked, and this notice must not be removed, until the discussion is closed. For more information, read the guide to deletion.›